Knihy od autora Krishna S.

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Verification, Model Checking, and Abstract Interpretation

   Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1535 Kč

   Koupit
2. 

   Logic and Its Applications

   Mohua Banerjee, Krishna S. | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1135 Kč

   Koupit
3. 

   Verification, Model Checking, and Abstract Interpretation

   Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1535 Kč

   Koupit

Nejpopulárnější internetové knihkupectví. Zjistěte více